TSTP Solution File: SEV506^1 by SInE---0.4